228. La pension accordée à un juge qui a exercé sa charge pendant vingt-cinq ans ou plus, qu’il ait atteint ou non l’âge de soixante-dix ans, est égale à soixante-dix pour cent du traitement moyen des cinq années d’exercice de sa charge les mieux rémunérées.